Short Cut Fusion of Recursive Programs with Computational Effects

نویسندگان

  • Neil Ghani
  • Patricia Johann
چکیده

Fusion is the process of improving the efficiency of modularly constructed programs by transforming them into monolithic equivalents. This paper defines a generalization of the standard build combinator which expresses uniform production of functorial contexts containing data of inductive types. It also proves correct a fusion rule which generalizes the fold/ build and fold/buildp rules from the literature, and eliminates intermediate data structures of inductive types without disturbing the contexts in which they are situated. An important special case arises when this context is monadic. When it is, a second rule for fusing combinations of producers and consumers via monad operations, rather than via composition, is also available. We give examples illustrating both rules, and consider their coalgebraic duals as well. 21.1 GENERALIZING SHORT CUT FUSION 21.1.1 Introducing Short Cut Fusion Fusion is the process of improving the efficiency of modularly constructed programs by transforming them into monolithic equivalents. Short cut fusion [7] is concerned with eliminating list traversals from compositions of components that are “glued” together via intermediate lists. Short cut fusion uses a local transformation — known as the foldr/build rule — to fuse computations which can 1University of Nottingham, Nottingham, UK. [email protected]. Supported in part by EPSRC grant EP/C511964/2. 2Rutgers University, Camden, NJ, USA. [email protected]. Supported in part by NSF grant CCF-0700341.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using monads to fuse recursive programs

We try to combine the ‘syntactic composition of tree transducers’ [FV98, KV01] on the one hand side and ‘short cut fusion’ [GLP93] on the other hand side. Short cut fusion is based on the ‘cata/build-rule’ [Joh01] or ‘acid rain theorem’ [TM95]. Therefore it is necessary to represent the recursive functions as catamorphisms. A catamorphism is a generalization of the well known list-function fold...

متن کامل

A Generalization of Short-Cut Fusion and its Correctness Proof

Short-cut fusion is a program transformation technique that uses a single, local transformation—called the foldr-build rule—to remove certain intermediate lists from modularly constructed functional programs. Arguments that short-cut fusion is correct typically appeal either to intuition or to “free theorems”—even though the latter have not been known to hold for the languages supporting higher...

متن کامل

Short Cut Fusion: Proved and Improved

Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermediate lists from modularly constructed functional programs. Arguments that short cut fusion is correct typically appeal either to intuition or to “free theorems” — even though the latter have not been known to hold for the languages...

متن کامل

Computational Approach for Rational Design of Fusion Uricase with PAS Sequences

Tumor lysis syndrome is a life-threatening condition for humans due to the lack of urate oxidase. In this study, several variants of PASylateduricasefrom the Aspergillus flavus species were analyzed computationally to find the appropriate fusions to solve short half-life and stability concerns. The Ab initio method was performed using Rosetta software to structurally characterize the PAS sequen...

متن کامل

Comparison of Plant Growth Regulators and Exogenous Ethylene Effects on Two Types of Cut Carnation (Dianthus caryophyllus L.)

The main object of this study is to investigate the effect of plant growth regulators on the prolongation of vase life of two kinds of cut carnation under normal and ethylene. Carnation is one of the most popular flowers that has a short life due to its sensitivity to ethylene. Also, the effect of plant growth regulators on several physiological traits under ethylene stress and normal condition...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008